6 found
Order:
  1.  9
    Division by zero in non-involutive meadows.J. A. Bergstra & C. A. Middelburg - 2015 - Journal of Applied Logic 13 (1):1-12.
  2.  9
    Paraconsistent logic and query answering in inconsistent databases.C. A. Middelburg - 2024 - Journal of Applied Non-Classical Logics 34 (1):133-154.
    This paper concerns the paraconsistent logic LPQ⊃,F and an application of it in the area of relational database theory. The notions of a relational database, a query applicable to a relational database, and a consistent answer to a query with respect to a possibly inconsistent relational database are considered from the perspective of this logic. This perspective enables among other things the definition of a consistent answer to a query with respect to a possibly inconsistent database without resort to database (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  12
    Inversive meadows and divisive meadows.J. A. Bergstra & C. A. Middelburg - 2011 - Journal of Applied Logic 9 (3):203-220.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  13
    Program algebra with a jump-shift instruction.J. A. Bergstra & C. A. Middelburg - 2008 - Journal of Applied Logic 6 (4):553-563.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5.  9
    Simulating Turing machines on Maurer machines.J. A. Bergstra & C. A. Middelburg - 2008 - Journal of Applied Logic 6 (1):1-23.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6.  12
    Transformation of fractions into simple fractions in divisive meadows.J. A. Bergstra & C. A. Middelburg - 2016 - Journal of Applied Logic 16:92-110.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark